Cannot set OPTIONS pragma --cubical and --with-K with safe flag.
